Proietti Maurizio: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Transformation of logic programs: Foundations and techniques

Alberto Pettorossi, Maurizio Proietti

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 4.58 MB

english, 1994

2

Heart Rate Variability Discriminates Competitive Levels in Professional Soccer Players

Proietti, Riccardo, di Fronso, Selenia, Pereira, Lucas A., Bortoli, Laura, Robazza, Claudio, Nakamura, Fabio Y., Bertollo, Maurizio

Journal:

The Journal of Strength and Conditioning Research

Year:

2017

Language:

english

File:

PDF, 201 KB

english, 2017

3

The loop absorption and the generalization strategies for the development of logic programs and partial deduction

Maurizio Proietti, Alberto Pettorossi

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.85 MB

english, 1993

4

Semantics and Controllability of Time-Aware Business Processes*

De Angelis, Emanuele, Fioravanti, Fabio, Meo, Maria Chiara, Pettorossi, Alberto, Proietti, Maurizio, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 403 KB

english, 2019

5

The List Introduction Strategy for the Derivation of Logic Programs

Alberto Pettorossi, Maurizio Proietti

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 186 KB

english, 2002

6

Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 965 KB

english, 2005

7

Totally correct logic program transformations via

Alberto Pettorossi, Maurizio Proietti

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 778 KB

english, 2008

8

Totally correct logic program transformations via

Alberto Pettorossi, Maurizio Proietti

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 182 KB

english, 2008

9

Program Verification using Constraint Handling Rules and Array Constraint Generalizations*

De Angelis, Emanuele, Fioravanti, Fabio, Pettorossi, Alberto, Proietti, Maurizio, Giordano, Laura, Gliozzi, Valentina, Pettorossi, Alberto, Pozzato, Gian Luca

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 582 KB

english, 2017

10

Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 63 KB

english, 2019

11

Single-level Bryan cervical disc arthroplasty: evaluation of radiological and clinical outcomes after 18Â years of follow-up

Genitiempo, Maurizio, Perna, Andrea, Santagada, Domenico Alessandro, Meluzio, Maria Concetta, Proietti, Luca, Bocchi, Maria Beatrice, Logroscino, Carlo Ambrogio, Tamburrelli, Francesco Ciro

Journal:

European Spine Journal

Year:

2020

File:

PDF, 1.08 MB

2020

12

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, Stephen, Stefanescu, Andrei, Meseguer, JosÃ©, Fioravanti, Fabio, Gallagher, John P., Proietti, Maurizio

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 661 KB

2020

13

Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs

Maurizio Proietti, Alberto Pettorossi

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.52 MB

english, 1995

14

Synthesis and transformation of logic programs using unfold/fold proofs

Alberto Pettorossi, Maurizio Proietti

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 408 KB

english, 1999

15

Rules and Strategies for Contextual Specialization of Constraint Logic Programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 719 KB

english, 2000

16

Structural Characterization of a Zinc High-affinity Binding Site in Rhodopsin

Darwin Toledo, Arnau Cordomí, Maria Grazia Proietti, Maurizio Benfatto, Luis J. Del Valle, Juan J. Pérez, Pere Garriga, Francesc Sepulcre

Journal:

Photochemistry and Photobiology

Year:

2009

Language:

english

File:

PDF, 481 KB

english, 2009

17

Constraint-based correctness proofs for logic program transformations

Pettorossi, Alberto, Proietti, Maurizio, Senni, Valerio

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 397 KB

english, 2012

18

Risk Score and Predictive Models of Mortality From Non Variceal Acute Upper Gastrointestinal Haemorrhage in Italy: A National Survey

Riccardo Marmo, Maurizio Koch, Livio Cipolletta, Lucio Capurso, Mariano Amuso, Alfredo Pastorelli, Elena Sanz Torre, Omero Triossi, Andrea Buzzi, Renzo Cestari, Domenico Della Casa, Massimo Proietti,

Journal:

Gastrointestinal Endoscopy

Year:

2005

Language:

english

File:

PDF, 46 KB

english, 2005

19

Synthesis and biological evaluation of gallic acid analogs

Maurizio Barontini, Ilaria Proietti Silvestri, Valentina Nardi, Fernanda Crisante, Gaetano Pepe, Luigi Pari, Francesco Gallucci, Paolo Bovicelli, Giuliana Righi

Journal:

Medicinal Chemistry Research

Year:

2013

Language:

english

File:

PDF, 504 KB

english, 2013

20

Nutrition and biodynamic agriculture: risk for health

Bonucci Massimo, Proietti Maurizio, Del Buono Andrea, D’Orta Armando

Journal:

European Journal of Integrative Medicine

Year:

2012

Language:

english

File:

PDF, 75 KB

english, 2012

21

Bioelectrical impedance: relationship among capacitance, cell ageing and toxic metal intoxications

Bonucci Massimo, Del Buono Andrea, D’Orta Armando, Proietti Maurizio

Journal:

European Journal of Integrative Medicine

Year:

2012

Language:

english

File:

PDF, 59 KB

english, 2012

22

A Quantitative XANES Analysis of the Calcium High-Affinity Binding Site of the Purple Membrane

Sepulcre, Francesc, Grazia Proietti, M., Benfatto, Maurizio, Della Longa, Stefano, García, Joaquin, Padrós, Esteve

Journal:

Biophysical Journal

Year:

2004

Language:

english

File:

PDF, 177 KB

english, 2004

23

Stress cardiomyopathy (tako-tsubo) triggered by nervous system diseases: A systematic review of the reported cases

Porto, Italo, Della Bona, Roberta, Leo, Andrea, Proietti, Riccardo, Pieroni, Maurizio, Caltagirone, Carlo, Spalletta, Gianfranco, Bolognese, Leonardo, Cravello, Luca

Journal:

International Journal of Cardiology

Year:

2013

Language:

english

File:

PDF, 343 KB

english, 2013

24

Deep Ultraviolet Plasmon Resonance in Aluminum Nanoparticle Arrays

Maidecchi, Giulia, Gonella, Grazia, Proietti Zaccaria, Remo, Moroni, Riccardo, Anghinolfi, Luca, Giglia, Angelo, Nannarone, Stefano, Mattera, Lorenzo, Dai, Hai-Lung, Canepa, Maurizio, Bisio, Francesco

Journal:

Year:

2013

Language:

english

File:

PDF, 3.14 MB

english, 2013

25

Metabolic Profiling and Outer Pericarp Water State in Zespri, CI.GI, and Hayward Kiwifruits

Capitani, Donatella, Mannina, Luisa, Proietti, Noemi, Sobolev, Anatoly P., Tomassini, Alberta, Miccheli, Alfredo, Di Cocco, Maria E., Capuani, Giorgio, De Salvador, Flavio Roberto, Delfini, Maurizio

Journal:

Journal of Agricultural and Food Chemistry

Year:

2013

Language:

english

File:

PDF, 1.85 MB

english, 2013

26

Geographical Characterization of Italian Extra Virgin Olive Oils Using High-Field 1 H NMR Spectroscopy

Mannina, Luisa, Patumi, Maurizio, Proietti, Noemi, Bassi, Daniele, Segre, Anna Laura

Journal:

Journal of Agricultural and Food Chemistry

Year:

2001

Language:

english

File:

PDF, 152 KB

english, 2001

27

Efficient synthesis of scutellarein

Righi, Giuliana, Silvestri, Ilaria Proietti, Barontini, Maurizio, Crisante, Fernanda, Di Manno, Andrea, Pelagalli, Romina, Bovicelli, Paolo

Journal:

Natural Product Research

Year:

2012

Language:

english

File:

PDF, 149 KB

english, 2012

28

NMR methodologies in the analysis of blueberries

Capitani, Donatella, Sobolev, Anatoly P., Delfini, Maurizio, Vista, Silvia, Antiochia, Riccarda, Proietti, Noemi, Bubici, Salvatore, Ferrante, Gianni, Carradori, Simone, Salvador, Flavio Roberto De, M

Journal:

ELECTROPHORESIS

Year:

2014

Language:

english

File:

PDF, 256 KB

english, 2014

29

Does Left Atrial Appendage Closure with a Cardiac Plug System Reduce the Stroke Risk in Nonvalvular Atrial Fibrillation Patients? A Single-Center Case Series

DANNA, PAOLO, PROIETTI, RICCARDO, SAGONE, ANTONIO, ARENSI, ANDREA, VIECCA, MAURIZIO, RAGO, ANNA, RUSSO, VINCENZO

Journal:

Pacing and Clinical Electrophysiology

Year:

2013

Language:

english

File:

PDF, 539 KB

english, 2013

30

Triggers of acute myocardial infarction

Colombo, Alessandro, Proietti, Riccardo, Čulić, Viktor, Lipovetzky, Nestor, Viecca, Maurizio, Danna, Paolo

Journal:

Journal of Cardiovascular Medicine

Year:

2014

Language:

english

File:

PDF, 223 KB

english, 2014

31

[Lecture Notes in Computer Science] Logic-Based Program Synthesis and Transformation Volume 8981 ||

Proietti, Maurizio, Seki, Hirohisa

Year:

2015

Language:

english

File:

PDF, 13.20 MB

english, 2015

32

Novel nonpharmacologic approaches for stroke prevention in atrial fibrillation: results from clinical trials

Essebag, Vidal, Joza, Jacqueline, Arensi, Andrea, Levi, Micheal, Russo, Vincenzo, Tzikas, Apostolos, Danna, Paolo, Sagone, Antonio, Viecca, Maurizio, Proietti, Riccardo

Journal:

Medical Devices Evidence and Research

Year:

2015

Language:

english

File:

PDF, 1.66 MB

english, 2015

33

Erratum to “Minimally Invasive Treatment of the Thoracic Spine Disease: Completely Percutaneous and Hybrid Approaches”

Tamburrelli, Francesco Ciro, Scaramuzzo, Laura, Genitiempo, Maurizio, Proietti, Luca

Journal:

Minimally Invasive Surgery

Year:

2014

Language:

english

File:

PDF, 44 KB

english, 2014

34

A New Dusts Sensor for Cultural Heritage Applications Based on Image Processing

Proietti, Andrea, Leccese, Fabio, Caciotta, Maurizio, Morresi, Fabio, Santamaria, Ulderico, Malomo, Carmela

Journal:

Year:

2014

Language:

english

File:

PDF, 953 KB

english, 2014

35

Minimally Invasive Treatment of the Thoracic Spine Disease: Completely Percutaneous and Hybrid Approaches

Francesco Ciro, Tamburrelli, Laura, Scaramuzzo, Maurizio, Genitiempo, Luca, Proietti

Journal:

Minimally Invasive Surgery

Year:

2013

Language:

english

File:

PDF, 1.28 MB

english, 2013

36

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - A theory of totally correct logic program transformations

Pettorossi, Alberto, Proietti, Maurizio

Year:

2004

Language:

english

File:

PDF, 192 KB

english, 2004

37

Program specialization via algorithmic unfold/fold transformations

Pettorossi, Alberto, Proietti, Maurizio

Journal:

ACM Computing Surveys

Year:

1998

Language:

english

File:

PDF, 138 KB

english, 1998

38

Rules and strategies for transforming functional and logic programs

Pettorossi, Alberto, Proietti, Maurizio

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 746 KB

english, 1996

39

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Verifying programs via iterated specialization

De Angelis, Emanuele, Fioravanti, Fabio, Pettorossi, Alberto, Proietti, Maurizio

Year:

2013

Language:

english

File:

PDF, 564 KB

english, 2013

40

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Reducing nondeterminism while specializing logic programs

Pettorossi, Alberto, Proietti, Maurizio, Renault, Sophie

Year:

1997

File:

PDF, 1.30 MB

1997

41

[ACM Press the 1991 ACM SIGPLAN symposium - New Haven, Connecticut, United States (1991.06.17-1991.06.19)] Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '91 - Semantics preserving transformation rules for Prolog

Proietti, Maurizio, Pettorossi, Alberto

Year:

1991

Language:

english

File:

PDF, 1022 KB

english, 1991

42

Disentangling the Role of Shape, Ligands and Dielectric Constants in the Absorption Properties of Colloidal CdSe/CdS Nanocrystals

Angeloni, Ilaria, Raja, Waseem, Brescia, Rosaria, Polovitsyn, Anatolii, De Donato, Francesco, Canepa, Maurizio, Bertoni, Giovanni, Proietti Zaccaria, Remo, Moreels, Iwan

Journal:

Year:

2015

Language:

english

File:

PDF, 1.83 MB

english, 2015

43

Intestinal Malabsorption and Skin Diseases

Abenavoli, Ludovico, Proietti, Ilaria, Vonghia, Luisa, Leggio, Lorenzo, Ferrulli, Anna, Capizzi, Rodolfo, Mirijello, Antonio, Cardone, Silvia, Malandrino, Noemi, Leso, Veruska, Rotoli, Maurizio, Ameri

Journal:

Digestive Diseases

Year:

2008

Language:

english

File:

PDF, 204 KB

english, 2008

44

Plasmonic color-graded nanosystems with achromatic sub-wavelength architectures for light filtering and advanced SERS detection

Proietti Zaccaria, Remo, Bisio, Francesco, Das, Gobind, Maidecchi, Giulia, Caminale, Michael, Vu, Chinh Duc, De Angelis, Francesco, Di Fabrizio, Enzo, Toma, Andrea, Canepa, Maurizio

Journal:

ACS Applied Materials & Interfaces

Year:

2016

Language:

english

File:

PDF, 2.62 MB

english, 2016

45

An XAS Study of the Cation Binding Sites in the Purple Membrane of Halobacterium Salinarum

Sepulcre, Francesc, Proietti, Maria Grazia, Benfatto, Maurizio, Longa, Stefano Della, Garca, Joaquin, Padrs, Esteve

Journal:

Physica Scripta

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

46

Proving correctness of imperative programs by linearizing constrained Horn clauses

DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 406 KB

english, 2015

47

Transformations of logic programs with goals as arguments

PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

Journal:

Theory and Practice of Logic Programming

Year:

2004

Language:

english

File:

PDF, 313 KB

english, 2004

48

Developing correct and efficient logic programs by transformation*

Pettorossi, Alberto, Proietti, Maurizio

Journal:

The Knowledge Engineering Review

Year:

1996

Language:

english

File:

PDF, 1.08 MB

english, 1996

49

Transformations of logic programs on infinite lists

PETTOROSSI, ALBERTO, SENNI, VALERIO, PROIETTI, MAURIZIO

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 272 KB

english, 2010

50

Generalization strategies for the verification of infinite state systems

FIORAVANTI, FABIO, PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO, SENNI, VALERIO

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 362 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски